l\_before($x$; $y$; $l$; $T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$sublist($T$; cons($x$; cons($y$; [])); $l$)